Section: Dissemination
Promoting Scientific Activities
Scientific Events: Organisation
General Chair, Scientific Chair
-
Catalin Hritcu is the Steering Committee Chair of the Workshop on Principles of Secure Compilation (PriSC)
-
Catalin Hritcu is the main organizer a Dagstuhl Seminar on Secure Compilation (20201)
-
Karthikeyan Bhargavan co-chaired the Workshop on Secure Messaging at EUROCRYPT 2019
Member of the Organizing Committees
-
Catalin Hritcu is a Steering Committee Member of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP)
Scientific Events: Selection
Chair of Conference Program Committees
-
Catalin Hritcu served as Program Chair of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP)
Member of the Conference Program Committees
Journal
Member of the Editorial Boards
- Associate Editor
Invited Talks
-
Karthikeyan Bhargavan gave invited talks at ERCIM Rome, FSTTCS Mumbai, ICISS Hyderabad,
-
Catalin Hritcu gave invited talks at EPFL Lausanne, Ruhr University Bochum, MPI-SWS, and Chalmers University;
Leadership within the Scientific Community
Scientific Expertise
-
Bruno Blanchet is a member of the specialized temporary scientific committee of ANSM (Agence nationale de sécurité du médicament et des produits de santé), on the cybersecurity of software medical devices.
-
Bruno Blanchet was a scientific consultant for Nomadic Labs, regarding the development of the blockchain Tezos.
-
Karthikeyan Bhargavan was scientific consultant for Nomadic Labs, regarding verified cryptographic software.